Oded Maler : rechercher sur Z-Library

NiÄkoviÄ, Dejan, Lebeltel, Olivier, Maler, Oded, FerrÃ¨re, Thomas, Ulus, Dogan

Année:

1995

Langue:

english

Fichier:

PDF, 1.91 MB

english, 1995

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 7699 ||

Maler, Oded, Halász, Ádám, Dang, Thao, Piazza, Carla

Année:

2015

Langue:

english

Fichier:

PDF, 11.03 MB

english, 2015

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2020

Fichier:

PDF, 2.25 MB

2020

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

Eugene Asarin, Oded Maler

Journal:

Journal of Computer and System Sciences

Année:

1998

Langue:

english

Fichier:

PDF, 653 KB

english, 1998

On optimal and reasonable control in the presence of adversaries

Annual Reviews in Control

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 511 KB

english, 2007

Time Domain Verification of Oscillator Circuit Properties

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 723 KB

english, 2006

Analog Circuit Verification: a State of an Art

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 136 KB

english, 2006

Preface

Journal:

Yasmina Abdeddaı¨m, Eugene Asarin, Oded Maler

Année:

2006

Langue:

english

Fichier:

PDF, 68 KB

english, 2006

Scheduling with timed automata

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 604 KB

english, 2006

Computing reachable states for nonlinear biological models

Thao Dang, Colas Le Guernic, Oded Maler

Journal:

Information Processing Letters

Année:

2011

Langue:

english

Fichier:

PDF, 488 KB

english, 2011

An efficient automata approach to some problems on context-free grammars

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 96 KB

english, 2000

On syntactic congruences for ω-languages

Oded Maler, Ludwig Staiger

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1997

Control from computer science

Annual Reviews in Control

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2002

Verification of Asynchronous Circuits using Timed Automata

Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine

Journal:

Eugene Asarin, Oded Maler, Sergio Yovine

Année:

2002

Langue:

english

Fichier:

PDF, 162 KB

english, 2002

Preface: Volume 65, Issue 6

Journal:

Bernard Delyon, Oded Maler

Année:

2002

Langue:

english

Fichier:

PDF, 49 KB

english, 2002

On the effects of noise and speed on computations

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 799 KB

english, 1994

A decomposition theorem for probabilistic transition systems

Journal:

Bouajjani, Ahmed, Maler, Oded

Année:

1995

Langue:

english

Fichier:

PDF, 328 KB

english, 1995

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 || Priority Scheduling of Distributed Systems Based on Model Checking

Année:

2009

Langue:

english

Fichier:

PDF, 234 KB

english, 2009

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Estimation of Distributed Hybrid Systems Using Particle Filtering Methods

Bouajjani, Ahmed, Maler, Oded

Année:

2003

Langue:

english

Fichier:

PDF, 489 KB

english, 2003

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||

Année:

2009

Langue:

english

Fichier:

PDF, 10.22 MB

english, 2009

Monitoring properties of analog and mixed-signal circuits

Oded Maler, Dejan Ničković

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2013

Langue:

english

Fichier:

PDF, 2.76 MB

english, 2013

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Optimal 2D Data Partitioning for DMA Transfers on MPSoCs

Saidi, Selma, Tendulkar, Pranav, Lepley, Thierry, Maler, Oded

Année:

2012

Langue:

english

Fichier:

PDF, 735 KB

english, 2012

[IEEE 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Munich, Germany (2006.10.4-2006.10.6)] 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Recent progress in continuous and hybrid reachability analysis

Asarin, Eugene, Dang, Thao, Frehse, Goran, Girard, Antoine, Le Guernic, Colas, Maler, Oded

Année:

2006

Langue:

english

Fichier:

PDF, 401 KB

english, 2006

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Modelling and Control of Power Electronics

European Journal of Control

Année:

2003

Langue:

english

Fichier:

PDF, 677 KB

english, 2003

Guest Editorial: Verification of Hybrid Systems

maler, Oded

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 122 KB

english, 2001

Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms

Saidi, Selma, Tendulkar, Pranav, Lepley, Thierry, Maler, Oded

Journal:

Microprocessors and Microsystems

Année:

2013

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2013

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Multi-criteria optimization for mapping programs to multi-processors

Cotton, Scott, Maler, Oded, Legriel, Julien, Saidi, Selma

Année:

2011

Langue:

english

Fichier:

PDF, 996 KB

english, 2011

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Control Design for a Wheeled Mobile Robot

Année:

2003

Langue:

english

Fichier:

PDF, 417 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 ||

Année:

2003

Langue:

english

Fichier:

PDF, 11.78 MB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback

Année:

2003

Langue:

english

Fichier:

PDF, 226 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions

Année:

2003

Langue:

english

Fichier:

PDF, 954 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System

Tendulkar, Pranav, Poplavko, Peter, Galanommatis, Ioannis, Maler, Oded

Année:

2003

Langue:

english

Fichier:

PDF, 459 KB

english, 2003

[IEEE 2014 17th Euromicro Conference on Digital System Design (DSD) - Verona, Italy (2014.8.27-2014.8.29)] 2014 17th Euromicro Conference on Digital System Design - Many-Core Scheduling of Data Parallel Applications Using SMT Solvers

Année:

2014

Langue:

english

Fichier:

PDF, 262 KB

english, 2014

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators

Legriel, Julien, Cotton, Scott, Maler, Oded

Année:

2003

Langue:

english

Fichier:

PDF, 550 KB

english, 2003

[IEEE 2008 47th IEEE Conference on Decision and Control - Cancun, Mexico (2008.12.9-2008.12.11)] 2008 47th IEEE Conference on Decision and Control - Sensitive state-space exploration

Dang, Thao, Donze, Alexandre, Maler, Oded, Shalev, Noa

Année:

2008

Langue:

english

Fichier:

PDF, 236 KB

english, 2008

[IEEE 2011 IEEE Congress on Evolutionary Computation (CEC) - New Orleans, LA, USA (2011.06.5-2011.06.8)] 2011 IEEE Congress of Evolutionary Computation (CEC) - On universal search strategies for multi-criteria optimization using weighted sums

Année:

2011

Langue:

english

Fichier:

PDF, 408 KB

english, 2011

[Lecture Notes in Computer Science] Hybrid and Real-Time Systems Volume 1201 || Data-structures for the verification of timed automata

Maler, Oded

Année:

1997

Langue:

english

Fichier:

PDF, 762 KB

english, 1997

[IEEE 2011 23rd Euromicro Conference on Real-Time Systems (ECRTS) - Porto, Portugal (2011.07.5-2011.07.8)] 2011 23rd Euromicro Conference on Real-Time Systems - Meeting Deadlines Cheaply

Legriel, Julien, Maler, Oded

Année:

2011

Langue:

english

Fichier:

PDF, 315 KB

english, 2011

[IEEE 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - Munich, Germany (2006.10.4-2006.10.6)] 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control - On the implementation of control loops by software

Caspi, Paul, Maler, Oded

Année:

2006

Langue:

english

Fichier:

PDF, 157 KB

english, 2006

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Conditions of Optimal Classification for Piecewise Affine Regression

Année:

2003

Langue:

english

Fichier:

PDF, 250 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach

Année:

2003

Langue:

english

Fichier:

PDF, 355 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules

Année:

2003

Langue:

english

Fichier:

PDF, 329 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Observability of Linear Hybrid Systems

Année:

2003

Langue:

english

Fichier:

PDF, 221 KB

english, 2003

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || Reachability Questions in Piecewise Deterministic Markov Processes

Electronic Proceedings in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 239 KB

english, 2003

Algorithmic Verification of Continuous and Hybrid Systems

Maler, Oded

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 241 KB

english, 2014

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 || Explaining Counterexamples Using Causality

Bouajjani, Ahmed, Maler, Oded

Année:

2009

Langue:

english

Fichier:

PDF, 480 KB

english, 2009

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2623 || A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal